301. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
پدیدآورنده : Bhattacharya, Alakananda
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
رده :
QA
76
.
642
.
B484
302. Parallel logic programming
پدیدآورنده :
موضوع : Parallel programming )Computer science(,Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
303. Parallel logic programming in PARLOG : the language and its implementation
پدیدآورنده : Gregory, Steve.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
304. Parallel logic programming in parlog : the language & its implementation
پدیدآورنده : Gregory, Steve
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
رده :
QA
76
.
73
.
P194
G74
305. Parallel logic programming technicques
پدیدآورنده : Stephen Taylor
موضوع :
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
306. Principles of logic and logic programming /
پدیدآورنده : G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
307. Probabilistic inductive logic programming
پدیدآورنده : Luc De Raedt ... [et al.]& (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Logic programming,Machine learning,Stochastic processes
رده :
QA
،
76
.
63
،.
P69
،
2008
308. 21, 2010. Proceedings-Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19
پدیدآورنده : / n Vidal (eds.)عBrigitte Pientka (auth.), Matthias Blume, Naoki Kobayashi, Germ
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
309. 19, 2011. Proceedings-Logic Programming and Nonmonotonic Reasoning: 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16
پدیدآورنده : / David Poole (auth.), James P. Delgrande, Wolfgang Faber (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
310. 15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR
پدیدآورنده : / ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
311. Proceedings of the 3rd UK Annual Conference on Logic Programming :
پدیدآورنده : Geraint A. Wiggins ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logische Programmierung.
رده :
QA76
.
63
G473
1992
312. Proceedings of the 4th UK Conference on Logic Programming :
پدیدآورنده : Krysia Broda (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logische Programmierung.
رده :
QA76
.
63
K797
1993
313. Progamming Language Implementation and Logic Programming :
پدیدآورنده : edited by Maurice Bruynooghe, Jaan Penjam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
314. Programmable logic controllers: Operation, interfacing, and programming
پدیدآورنده : Den Otter, J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programmable controllers
رده :
TJ
223
.
P76
D46
1988
315. Programmable logic controllers : operation, interfacing, and programming
پدیدآورنده : Job Den Otter
موضوع : Programmable controllers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
316. Programmable logic controllers operation; interfocing and programming
پدیدآورنده : Otter, Job Den
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Program able controllers
رده :
TJ
223
.
P76
317. Programmable logic controllers: programming methods and applications
پدیدآورنده : Hackworth, John R.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Programmable controllers
رده :
TJ
223
.
P76
.
H33
318. Programming Language Implementation and Logic Programming :
پدیدآورنده : edited by Jan Maluszyński, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
319. Programming Languages Implementation and Logic Programming :
پدیدآورنده : edited by P. Deransart, B. Lorho, J. Małuszyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
320. Programming Logic and Design, Comprehensive
پدیدآورنده : / Joyce Farrell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
